Jésus après Arte. Retour sur une trilogie

Une Technique de Validation de Protocoles basée sur une Exploration avec Retour arrière des Automates Complexes

Résumé L’analyse d’accessibilité est généralement l’approche utilisée pour la validation des protocoles. Le problème posé par l’application de cette technique est celui de l’explosion combinatoire. Dans cet article, nous proposons une nouvelle technique de validation de protocoles appelée Reverse Leaping Reachability Analysis (RLRA). Au lieu de parcourir tout l’espace des états de protocole, no...

Campus numériques. Retour sur une politique ambitieuse d'enseignement supérieur à distance

This paper deals with two main issues. First, it takes up a critical stance on the bid to modernize the higher education by resorting to the means provided by the open and distance learning. Then it goes back over the difficulties the implementation of this type of learning encounters within the university environment. Leaving aside the techno-pedagogical aspects so often referred to in order t...

SGBD embarqué dans une puce. Retour d'expérience

RÉSUMÉ. La carte à puce est aujourd'hui l'objet portable sécurisé le plus répandu. Il y a 4 ans, nous avons jeté les bases d’une étude portant sur l'embarquement de techniques bases de données dans une carte à puce. Cette étude a conduit à la définition de principes de conception pour ce que nous avons appelé alors PicoDBMS, un système de gestion de bases de données (SGBD) complet intégré dans ...

Sur une souche de BRUCELLA d'origine humaine

Une cholécystite sur moignon

Une cholécystectomie subtotale expose au risque de cholécystite sur moignon, bien qu'elle constitue une option sûre face à une inflammation sévère du triangle de Calot permettant de réduire le risque de plaie biliaire. Malgré une histoire parfois typique, le diagnostic est souvent retardé en raison d'une faible suspicion. Par conséquent les cliniciens devraient évoquer ce diagnostic. Une fois l...